Feeds to Scour
SubscribedAll
Scoured 19443 posts in 154.3 ms
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs
abseil.io·1h
💨Cache Analysis
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🦀Rust Verification
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
When a Model Finds a Bug in Cryptography, and a Cryptographer Learns New Mathematics from It
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
🤝Consensus Protocols
Early History of a Perfect Join Algorithm
remy.wang·1h
🚀Query Optimization
Ride the Wave, Build the Future: Scientific Computing in an AI World
cloud4scieng.org·1d
🖥️Terminal Renaissance
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·22h
🏗️Compiler Archaeology
Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.
gist.github.com·37m·
Discuss: Hacker News
✨Effect Handlers
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
Build a Compiler in Five Projects
kmicinski.com·14h
🔨Compilers
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·1d
📊Performance Profiling
I struggled with system design until I learned these 114 concepts
newsletter.systemdesign.one
·10h
💾Persistence Strategies
The Little Book of Linear Algebra
little-book-of.github.io·1d
📐Linear Algebra
On variability
surfingcomplexity.blog·3h
⚡Incremental Computation
News for January 2026
ptreview.sublinear.info·1d
📐Linear Algebra
EBM vs. LLMs: Our Kona EBM a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com·1d·
Discuss: Hacker News
🧮SMT Solvers
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
🦀Rust Verification

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help